package gek.uni.aspirant.ocl.parser.ocl2mptree;

import java.lang.reflect.Field;
import java.lang.reflect.Method;

import org.eclipse.ocl.Environment;

@SuppressWarnings("unchecked")
public class OCL
    extends
    org.eclipse.ocl.OCL<Package, Class, Method, Field, Object, Object, Object, Object, Object, Object, Class, Object> {

  protected OCL(
      Environment<Package, Class, Method, Field, Object, Object, Object, Object, Object, Object, Class, Object> env) {
    super(env);
  }

}
